#ifndef __LED_H
#define __LED_H
#include "driverlib.h"

#define led_on()		GPIO_setOutputHighOnPin(GPIO_PORT_P1, GPIO_PIN0)
#define led_off()		GPIO_setOutputLowOnPin(GPIO_PORT_P1, GPIO_PIN0)
#define led_toggle()	GPIO_toggleOutputOnPin(GPIO_PORT_P1, GPIO_PIN0)

void led_init(void);

#endif
